Transaction Monitoring of Smart Contracts

Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts programs written in specialized programming languages running on a blockchain and govern how tokens cryptocurrency sent received. can invoke other during the execution of transactions initiated by external users. Once deployed, smart cannot be modified their pitfalls cause malfunctions losses, for example attacks from malicious Runtime verification is very appealing technique to improve reliability contracts. One approach consists specifying undesired executions (never claims) detecting violations specification fly. This done extending additional instructions corresponding monitor specified properties, resulting an onchain monitoring approach. In this paper, we study transaction complete not individual operations within transactions. Our main contributions show possible most blockchains propose different mechanisms would enable monitoring.